Science-advisor
REGISTER info/FAQ
Login
username
password
     
forgot password?
register here
 
Research articles
  search articles
  reviews guidelines
  reviews
  articles index
My Pages
my alerts
  my messages
  my reviews
  my favorites
 
 
Stat
Members: 3645
Articles: 2'506'133
Articles rated: 2609

27 April 2024
 
  » search

 Search for articles, messages and online reviews


Search in 2'506'133 articles.
match all words (default)
match at least one of the words
match the exact phrase		 search in all fields
search in authors
search in journals

Results 1 to 20 of 350 for query "G. Claus". (0.00 sec.)

[    1    2    3    4    5    10    ]   Next

1.
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas
E. Giunchiglia; M. Narizzano; A. Tacchella;
26 Sep 2011
- - -
2.
2-Sat Sub-Clauses and the Hypernodal Structure of the 3-Sat Problem
D. B. Powell;
Rating:   4/5
20 Apr 2004
- - -
3.
Integrating infinite-dimensional Lie algebras by a Tannaka reconstruction (Part I)
Claus Mokler;
3 Sep 2004
- - -
4.
Integrating infinite-dimensional Lie algebras by a Tannaka reconstruction (Part II)
Claus Mokler;
5 Sep 2004
- - -
5.
Horn Clauses in Hybrid-Dynamic First-Order Logic
Daniel Găină; Ionuţ Ţuţu;
10 May 2019
- - -
6.
Solving the Resource Constrained Project Scheduling Problem with Generalized Precedences by Lazy Clause Generation
Andreas Schutt; Thibaut Feydy; Peter J. Stuckey; Mark G. Wallace;
2 Sep 2010
- - -
7.
A Generalization of Level-Raising Congruences for Algebraic Modular Forms
Claus Mazanti Sorensen;
15 Apr 2005
- - -
8.
Accurate results for primordial black holes from spectra with a distinguished scale
David Blais; Torsten Bringmann; Claus Kiefer; David Polarski;
16 Jun 2002   /  Phys.Rev. D67 (2003) 024024
- - -
9.
Properties of the Bose glass phase in irradiated superconductors near the matching field
Carsten Wengel; Uwe Claus T"auber;
26 Dec 1997   /  Phys. Rev. B 58 (1998) 6565
- - -
10.
Fluxes in M-theory on 7-manifolds and G structures
Klaus Behrndt; Claus Jeschek;
7 Feb 2003   /  JHEP 0304 (2003) 002
- - -
11.
Mark correlations: relating physical properties to spatial distributions
Claus Beisbart; Martin Kerscher; Klaus Mecke;
30 Dec 2001
- - -
12.
Image reduction pipeline for the detection of variable sources in highly crowded fields
Claus A. Goessl; Arno Riffeser;
31 Oct 2001   /  Astron.Astrophys. 381 (2002) 1095-1109 DOI: 10.1051/0004-6361:20011522
- - -
13.
Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation
Geoffrey W. Hamilton; Temesghen Kahsai; Maurizio Proietti;
19 Nov 2022
- - -
14.
Generating clause sequences of a CNF formula
Kristóf Bérczi; Endre Boros; Ondřej Čepek; Khaled Elbassioni; Petr Kučera; Kazuhisa Makino;
17 Feb 2020
- - -
15.
Partial Quantifier Elimination By Certificate Clauses
Eugene Goldberg;
21 Mar 2020
- - -
16.
Constraint Satisfaction Problems Parameterized Above or Below Tight Bounds: A Survey
G. Gutin; A. Yeo;
24 Aug 2011
- - -
17.
Linear-Number-of-Variables Kernel for Unit-Conflict-Free-Max-Sat Parameterized Above Expectation
R. Crowston; G. Gutin; M. Jones; A. Yeo;
4 Apr 2010
- - -
18.
An encoding of array verification problems into array-free Horn clauses
David Monniaux; Laure Gonnord;
30 Sep 2015
- - -
19.
Cause Clue Clauses: Error Localization using Maximum Satisfiability
Manu Jose; Rupak Majumdar;
6 Nov 2010
- - -
20.
Analytic and algorithmic solution of random satisfiability problems
M Mézard; G Parisi; R Zecchina;
2 Aug 2002   /  Science, 297 (5582), 812-5
- - -

[ 1 2 3 4 5 10 ]   Next





ScienXe.org
» my Online CV
» Free


News, job offers and information for researchers and scientists:
home  |  contact  |  terms of use  |  sitemap
Copyright © 2005-2024 - Scimetrica